2

Meta-programming in CLP(R)

Year:
1997
Language:
english
File:
PDF, 2.11 MB
english, 1997
4

Repeated Redundant Inequalities in Constraint Logic Programming

Year:
1998
Language:
english
File:
PDF, 362 KB
english, 1998
6

Compiling the polymorphic λ-calculus

Year:
1991
Language:
english
File:
PDF, 922 KB
english, 1991
8

An abstract machine for CLP( R )

Year:
1992
Language:
english
File:
PDF, 991 KB
english, 1992
9

CLP(ℜ) and some electrical engineering problems

Year:
1992
Language:
english
File:
PDF, 1.18 MB
english, 1992